Basic research

Results: 2119



#Item
381

BRICS Basic Research in Computer Science BRICS RSNielsen & Agha: Towards Re-usable Real-Time Objects Towards Re-usable Real-Time Objects

Add to Reading List

Source URL: www.brics.dk

- Date: 1999-03-25 08:40:01
    382

    BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the arithmetical content of restricted forms of comprehension On the Arithmetical Content of

    Add to Reading List

    Source URL: www.brics.dk

    - Date: 1997-10-01 04:19:44
      383

      BRICS Basic Research in Computer Science BRICS RSC´accamo & Winskel: A Higher-Order Calculus for Categories A Higher-Order Calculus for Categories

      Add to Reading List

      Source URL: www.brics.dk

      - Date: 2001-09-06 05:16:59
        384

        THE WELCH FOUNDATION DEPARTMENTAL RESEARCH GRANT PROGRAM PROPOSAL ON BASIC CHEMICAL RESEARCH

        Add to Reading List

        Source URL: www.welch1.org

        - Date: 2015-03-24 14:41:13
          385

          CENTER FOR RESEARCH IN CELL THERAPY – CTC FAPESP ProcessThe Center for Research in Cell Therapy (CTC) focuses on advanced basic and applied research

          Add to Reading List

          Source URL: cepid.fapesp.br

          - Date: 2013-10-15 14:57:31
            386

            BRICS Basic Research in Computer Science BRICS RSCamenisch & Michels: Proving that a Number is the Product of Two Safe Primes Proving in Zero-Knowledge that a Number

            Add to Reading List

            Source URL: www.brics.dk

            - Date: 1998-12-11 04:52:33
              387

              BRICS Basic Research in Computer Science BRICS DS-03-8 J. B. Nielsen: On Protocol Security in the Cryptographic Model

              Add to Reading List

              Source URL: www.brics.dk

              - Date: 2004-03-22 12:21:42
                388

                BRICS Basic Research in Computer Science BRICS RS-00-6 Damg˚ard & Nielsen: Improved Non-Committing Encryption Schemes

                Add to Reading List

                Source URL: www.brics.dk

                - Date: 2000-03-20 09:40:24
                  389

                  BRICS Basic Research in Computer Science BRICS RSU. Nestmann: What is a ‘Good’ Encoding of Guarded Choice? What is a

                  Add to Reading List

                  Source URL: www.brics.dk

                  - Date: 2000-01-10 04:47:16
                    390

                    BRICS Basic Research in Computer Science BRICS RSO. Danvy: A Rational Deconstruction of Landin’s SECD Machine A Rational Deconstruction of

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2004-05-17 07:09:30
                      UPDATE